Assumptions: countable coproducts, self-dual
Conclusions: countable products
Proof: This holds by self-duality.